Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for (...) reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V. (shrink)

Using a knowledge-based approach, we derive a protocol, MACOM1, for the sequence transmission problem from one agent to a group of agents. The protocol is correct for communication media where deletion and reordering errors may occur. Furthermore, it is shown that after k rounds the agents in the group attain depth k general knowledge about the members of the group and the values of the messages. Then, we adjust this algorithm for multi-agent communication for the process of teamwork. MACOM1 solves (...) the sequence transmission problem from one agent to a group of agents, but does not fully comply with the type of dialogue communication needed for teamwork. The number of messages being communicated per communication between the initiator and the other agents from the group can differ. Furthermore, the teamwork process can require the communication algorithm to handle changes of initiator. We show the adjustments that have to be made to MACOM1 to handle these properties of teamwork. For the new multi-agent communication algorithm, MACOM2, it is shown that the gaining of knowledge required for a successful teamwork process is still guaranteed. (shrink)

Behavior oftentimes allows for many possible interpretations in terms of mental states, such as goals, beliefs, desires, and intentions. Reasoning about the relation between behavior and mental states is therefore considered to be an effortful process. We argue that people use simple strategies to deal with high cognitive demands of mental state inference. To test this hypothesis, we developed a computational cognitive model, which was able to simulate previous empirical findings: In two-player games, people apply simple strategies at first. They (...) only start revising their strategies when these do not pay off. The model could simulate these findings by recursively attributing its own problem solving skills to the other player, thus increasing the complexity of its own inferences. The model was validated by means of a comparison with findings from a developmental study in which the children demonstrated similar strategic developments. (shrink)

Behavior oftentimes allows for many possible interpretations in terms of mental states, such as goals, beliefs, desires, and intentions. Reasoning about the relation between behavior and mental states is therefore considered to be an effortful process. We argue that people use simple strategies to deal with high cognitive demands of mental state inference. To test this hypothesis, we developed a computational cognitive model, which was able to simulate previous empirical findings: In two-player games, people apply simple strategies at first. They (...) only start revising their strategies when these do not pay off. The model could simulate these findings by recursively attributing its own problem solving skills to the other player, thus increasing the complexity of its own inferences. The model was validated by means of a comparison with findings from a developmental study in which the children demonstrated similar strategic developments. (shrink)

Behavior oftentimes allows for many possible interpretations in terms of mental states, such as goals, beliefs, desires, and intentions. Reasoning about the relation between behavior and mental states is therefore considered to be an effortful process. We argue that people use simple strategies to deal with high cognitive demands of mental state inference. To test this hypothesis, we developed a computational cognitive model, which was able to simulate previous empirical findings: In two-player games, people apply simple strategies at first. They (...) only start revising their strategies when these do not pay off. The model could simulate these findings by recursively attributing its own problem solving skills to the other player, thus increasing the complexity of its own inferences. The model was validated by means of a comparison with findings from a developmental study in which the children demonstrated similar strategic developments. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. Keywords Epistemic logic - Cognitive science - Intelligent interaction - Cognitive modeling. (shrink)

Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

In everyday life it is often important to have a mental model of the knowledge, beliefs, desires, and intentions of other people. Sometimes it is even useful to to have a correct model of their model of our own mental states: a second-order Theory of Mind. In order to investigate to what extent adults use and acquire complex skills and strategies in the domains of Theory of Mind and the related skill of natural language use, we conducted an experiment. It (...) was based on a strategic game of imperfect information, in which it was beneficial for participants to have a good mental model of their opponent, and more specifically, to use second-order Theory of Mind. It was also beneficial for them to be aware of pragmatic inferences and of the possibility to choose between logical and pragmatic language use. We found that most participants did not seem to acquire these complex skills during the experiment when being exposed to the game for a number of different trials. Nevertheless, some participants did make use of advanced cognitive skills such as second-order Theory of Mind and appropriate choices between logical and pragmatic language use from the beginning. Thus, the results differ markedly from previous research. (shrink)

Let PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L ⊆ PLω < Th(C) where L is the provability logic of PA and Th(C) is a suitable class of Kripke frames.

We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, to (...) be practically computable. Computational complexity theory is concerned with the amount of resources required for the execution of algorithms and, hence, the inherent difficulty of computational problems. An important goal of computational complexity theory is to categorize computational problems via complexity classes, and in particular, to identify efficiently solvable problems and draw a line between tractability and intractability. -/- We survey how complexity can be used to study computational plausibility of cognitive theories. We especially emphasize methodological and mathematical assumptions behind applying complexity theory in cognitive science. We pay special attention to the examples of applying logical and computational complexity toolbox in different domains of cognitive science. We focus mostly on theoretical and experimental research in psycholinguistics and social cognition. (shrink)

Elizabeth Anscombe is well-known for her insistence that there are absolutely prohibited actions, though she is somewhat obscure about why this is so. Nonetheless, I contend in this paper that Anscombe is more concerned with the epistemology of absolute prohibitions, and that her thought on connatural moral knowledge – which resembles moral intuition – is key to understanding her thought on moral prohibitions. I shall identify key features of Anscombe’s moral epistemology before turning to investigate its sources, examining the roots (...) of connaturality in Aquinas and comparing it with rationalist ethical intuitionism, which Anscombe differs from in rejecting “good” as a simple, non-natural property. I then develop a two-stage argument about absolute prohibition: The first will be loosely Thomistic, while the second will suggest how Anscombe’s absolute prohibitions can be seen as a continuation of Wittgenstein’s anti-scepticism in On Certainty. I develop an account of absolute prohibitions as a form of Wittgensteinian hinge proposition – they are not the conclusions of deductive arguments, but the foundations for intelligibility in action. (shrink)

This thesis develops an account of ethics called the Linguistic Perspective, which is realist in a practical, non-theoretical sense, and is rooted Wittgenstein’s 'On Certainty'. On this account, normativity is intrinsic to human action and language; the norms of ethics are the logical limits of the most basic, unassailable concepts that practical reasoning requires for intelligibility. Part I lays the groundwork for this account by developing a Tractarian Reading of 'On Certainty'. Here, I contend that 'On Certainty' is primarily concerned (...) with the logical requirements and limits of language, and like the 'Tractatus' it develops these concerns in a realist direction. 'On Certainty', I argue, does so by advancing three key claims about logic: Everything descriptive of a language-game is part of logic; the boundary between logical and empirical propositions is not sharp; logic is founded on action. I investigate these claims, with particular emphasis on how natural human reactions provide logical conditions for the possibility of language. Hinge propositions, I argue, are rooted in these reactions; they point us to the limits of intelligibility of our concepts, though these limits are vague and inarticulable. In Part II, I discuss the practical syllogism and its validity. I argue that practical reasoning is distinct from theoretical reasoning and embodies a different standard of logical validity for inference. This standard is not strict and narrow, but creative and wide open; furthermore, it is an intrinsically ethical standard. Then, I advance my Linguistic Perspective on ethics, according to which human reactions provide the conditions for ethical normativity, just as they do for language. I argue that we can access ethical norms by reflecting on those linguistic concepts that are rooted in the most basic patterns of action, and by identifying the norms of behaviour that ensure the development of those concepts without contradiction. (shrink)

The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...) intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (shrink)

Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people’s beliefs about his own beliefs or intentions, he is demonstrating second-order ToM reasoning. A standard task to test second-order ToM reasoning is the second-order false belief task. A different approach to investigating ToM reasoning is through its application in a strategic game. Another task that is believed to involve the application of (...) second-order ToM is the comprehension of sentences that the hearer can only understand by considering the speaker’s alternatives. In this study we tested 40 children between 8 and 10 years old and 27 adult controls on (adaptations of) the three tasks mentioned above: the false belief task, a strategic game, and a sentence comprehension task. The results show interesting differences between adults and children, between the three tasks, and between this study and previous research. (shrink)

I identify two versions of the scientific anti-realist’s selectionist explanation for the success of science: Bas van Fraassen’s original and K. Brad Wray’s newer interpretation. In Wray’s version, psycho-social factors internal to the scientific community – viz. scientists’ interests, goals, and preferences – explain the theory-selection practices that explain theory-success. I argue that, if Wray’s version were correct, then science should resemble art. In art, the artwork-selection practices that explain artwork-success appear faddish. They are prone to radical change over time. (...) Theory-selection practices that explain theory-success in science are however not faddish. They are mostly stable; that is, long-lived and consistent over time. This is because scientists (explicitly or implicitly) subscribe to what I will call the testability norm: scientific theories must make falsifiable claims about the external physical world. The testability norm and not psycho-sociology explains the theory-selection practices that explain theory-success in science. Contra Wray, scientific anti-realists can then maintain that the external physical world (as expressed in the testability norm) explains theory-success. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms of (...) decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments. (shrink)

dialectical frameworks have been introduced as a formalism for modeling argumentation allowing general logical satisfaction conditions and the relevant argument evaluation. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations for (...) ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as the maximal element. We also present algorithms to answer the following decision problems: whether a given interpretation is a strongly admissible interpretation of a given ADF, and whether a given argument is strongly acceptable/deniable in a given interpretation of a given ADF. In addition, we show that the strongly admissible semantics of ADFs forms a proper generalization of the strongly admissible semantics of AFs. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

The notion of belief appears frequently in cognitive science. Yet it has resisted definition of the sort that could clarify inquiry. How then might a cognitive science of belief proceed? Here we propose a form of pluralism about believing. According to this view, there are importantly different ways to "believe" an idea. These distinct psychological kinds occur within a multi-dimensional property space, with different property clusters within that space constituting distinct varieties of believing. We propose that discovering such property clusters (...) is empirically tractable, and that this approach can help sidestep merely verbal disputes about what constitutes “belief.”. (shrink)

In dit artikel wordt de dominante metafysische oriëntatie in de hedendaagse meta-ethiek kritisch onder de loep genomen. Het hedendaagse debat, dat zich voornamelijk richt op de vraag hoe moraliteit metafysisch gezien 'in de werkelijkheid past', wordt gekenmerkt door een reeks complexe en soms esoterische discussies die, zo wordt betoogd, weinig bijdragen aan ons filosofische begrip van ethiek. Deze focus op metafysische grondslagen heeft geleid tot een tunnelvisie, waarin het debat gevangen zit tussen steeds ingewikkeldere vormen van non-cognitivisme, herconceptualisaties van 'objectiviteit' (...) en metafysische acrobatiek. Als alternatief wordt voorgesteld de aandacht in de meta-ethiek te verleggen naar het domein van praktisch redeneren. Door ons te concentreren op de patronen van geldige praktische argumentatie en het soort overwegingen dat mensen daadwerkelijk overtuigt, kunnen we wellicht een beter inzicht krijgen in de aard van ethische normativiteit en de rol ervan in ons leven. Het artikel pleit voor een meer pragmatische en minder metafysisch beladen benadering van de meta-ethiek, die zich richt op de daadwerkelijke praktijken van moreel redeneren en argumenteren. (shrink)

What makes paternalism wrong? I give an indirect answer to that question by challenging a recent trend in the literature that I call the exclusionary strategy. The exclusionary strategy aims to show how some feature of the paternalizee’s normative situation morally excludes acting for the paternalizee’s well-being. This moral exclusion consists either in ruling out the reasons for which a paternalizer may act or in changes to the right-making status of the reasons that (would) justify paternalistic intervention. I argue that (...) both versions of the exclusionary strategy fail to explain the wrongness of paternalism and that they struggle to accommodate the mainstream view that paternalism is only pro tanto wrong. Their failure consists either in being implausibly strong expressions of antipaternalism or in struggling to spell out the scope of exclusion in an uncomplicated way. After discouraging this exclusionary strategy, I suggest we can capture what is appealing about it—as well as avoiding its pitfalls—by sketching a philosophical model in which we compare the weights of reasons for and against paternalistically interfering. To precisify this sketch, I introduce some conceptual tools from the literature on practical reasoning—in particular, the concept of modifiers—and suggest that these tools offer a better starting point for figuring out what makes paternalism (pro tanto) wrong. (shrink)

Several complexity theorists draw a sharp and ontologically robust distinction between (merely) complicated systems and (genuinely) complex systems. I argue that this distinction does not hold. Upon fine-grained analysis, ostensibly complicated systems turn out to be complex systems. The purported boundary between the complicated and the complex appears to be vague rather than sharp. Systems are complex by degrees.

As artefacts, the worlds of digital games are designed and developed to fulfil certain expressive, functional, and experiential objectives. During play, players infer these purposes and aspirations from various aspects of their engagement with the gameworld. Influenced by their sociocultural backgrounds, sensitivities, gameplay preferences, and familiarity with game conventions, players construct a subjective interpretation of the intentions with which they believe the digital game in question was created. By analogy with the narratological notion of the implied author, we call the (...) figure to which players ascribe these intentions ‘the implied designer’. In this article, we introduce the notion of the implied designer and present an initial account of how appreciators ascribe meaning to interactive, fictional gameworlds and act within them based on what they perceive to be the designer’s intentions. (shrink)

We argue that knowledge is not the norm of belief given that ‘I believe’ is used to hedge. We explore the consequences of this argument for the normative relationship between belief and assertion.

This article explains how social norms can help to distinguish and understand a range of different kinds of social inequality and social hierarchy. My aim is to show how the literature on social norms can provide crucial resources to relational egalitarianism, which has made social equality and inequality into a central topic of contemporary normative political theorizing. The hope is that a more discriminating and detailed picture of different kinds of social inequality will help relational egalitarians move beyond a discussion (...) of the justice or injustice of social equality as a single general category. (shrink)

It is crucial for engineers to anticipate the socio-ethical impacts of emerging technologies. Such acts of anticipation are thoroughly normative and should be cultivated in engineering ethics education. In this paper we ask: ‘ how do we anticipate the socio-ethical implications of emerging technologies responsibly? ’ And ‘ how can such responsible anticipation be taught? ’ We o ff er a conceptual answer, building upon the framework of Responsible Innovation and its four core practices: anticipation, reflexivity, inclusion, and responsiveness. We (...) forge a more explicit link between the practices of anticipation, reflexivity, and inclusion, while also enriching them with insights from disability studies, STS, design theory, and philosophy. On this basis we present responsible anticipation as an activity of reflective problem framing grounded in epistemic humility. Via the RI-practice of responsiveness we present responsible anticipation as a creative approach to engineering ethics, offering engineering students a critical yet productive perspective on how ethics may inform innovation. (shrink)

Are psychiatric disorders natural kinds? This question has received a lot of attention within present-day philosophy of psychiatry, where many authors debate the ontology and nature of mental disorders. Similarly, historians of psychiatry, dating back to Foucault, have debated whether psychiatric researchers conceived of mental disorders as natural kinds or not. However, historians of psychiatry have paid little to no attention to the influence of (a) theories within logic, and (b) theories within metaphysics on psychiatric accounts of proper method, and (...) on accounts of the nature and classification of mental disorders. Historically, however, logic and metaphysics have extensively shaped methods and interpretations of classifications in the natural sciences. This paper corrects this lacuna in the history of psychiatry, and demonstrates that theories within logic and metaphysics, articulated by Christian Wolff (1679-1754), have significantly shaped the conception of medical method and (psychiatric) nosology of the influential nosologist Boissier De Sauvages (1706-1767). After treating Sauvages, I discuss the method of the influential nosologist William Cullen (1710-1790), and demonstrate the continuity between the classificatory methods of Sauvages and Cullen. I show that both Sauvages and Cullen were essentialists concerning medical diseases in general and psychiatric disorders in particular, contributing to the history of conceptions of the ontology and nature of mental disorders. (shrink)

Trước những lo ngại về khí hậu toàn cầu ngày càng gia tăng, các quốc gia trên thế giới đã ký kết thỏa thuận toàn cầu nhằm thể hiện sự cam kết mạnh mẽ để chung tay tìm kiếm các giải pháp sáng tạo để giảm thiểu phát thải khí nhà kính và tác động của nó đối với môi trường. Việt Nam là một trong những thành viên tích cực tham gia và có trách nhiệm, nhưng đồng thời cũng (...) là một nước bị ảnh hưởng nặng nề nhất của biến đổi khí hậu. Nhận thấy sự cần thiết phải giải quyết vấn đề biến đổi khí hậu, Việt Nam đang triển khai nghiên cứu việc thành lập thị trường các-bon trong nước, trong đó việc xây dựng và vận hành một hệ thống lưu ký các-bon được coi là một trụ cột quan trọng, trên cơ sở học hỏi kinh nghiệm từ các mô hình trên thế giới. Bài viết này đi sâu vào việc phân tích, đánh giá điều kiện, bối cảnh của Việt Nam và rút ra bài học kinh nghiệm từ các hệ thống lưu ký trên thế giới để đề xuất các giải pháp xây dựng một hệ thống lưu ký các- bon hiệu quả cho Việt Nam. (shrink)

William Whewell’s 19th century philosophy of science is sometimes glossed over as a footnote to Kant. There is however a key feature of Whewell’s account worth noting. This is his appeal to Aristotle’s form/matter hylomorphism as a metaphor to explain how mind and world merge in successful scientific inquiry. Whewell’s hylomorphism suggests a middle way between rationalism and empiricism reminiscent of experience pragmatists like Steven Levine’s view that mind and world are entwined in experience. I argue however that Levine does (...) not adequately explain exactly how mind and world entwine. He could nonetheless do so if he appealed to Whewell’s hylomorphic metaphor. We may prefer a reductive metaphysical explanation, but I suggest that pragmatists only have recourse to metaphor in this case. Both reductive and metaphorical explanations can enjoy great explanatory power if they exhibit a suitable measure of what I will call sematic distance. Semantic distance measures how close or how far apart explanandum and explanans are from each other in meaning. Metaphorical explanation - as evident in Whewell’s hylomorphism and as detailed via the notion of semantic distance - presents a valuable new explanatory tool to those who hold that mind and world are entwined sans recourse to metaphysics. (shrink)

The guiding premise of this chapter is that we, as teachers in higher education, must consider how the content and form of our teaching can foster inclusivity through a responsiveness to neurodiverse learning styles. A narrow pedagogical focus on lectures, textual engagement, and essay-writing threatens to exclude neurodivergent students whose ways of learning and making sense of the world may not be best supported through these traditional forms of pedagogy. As we discuss in this chapter, we, as engineering ethics educators, (...) designed and implemented a new engineering ethics exercise with which we aimed to promote inclusivity at the levels of form and content. At the content level, students were invited to critically engage with inclusivity-undermining ableist assumptions in technology development. This took shape, at the formal level, through a hands-on ‘material tinkering’ workshop in which students collaboratively and creatively altered (or ‘hacked’) artifacts used in contexts of disability and healthcare, so as to operationalize values of inclusivity and accessibility. Our hunch was that this hands-on tinkering workshop would simultaneously encourage a meaningful way of engagement with these ethical issues and values, while also enacting a more inclusive learning environment by enriching the range of pedagogical activities and learning formats available to our students. As we aim to show in this chapter, we believe this hunch largely panned out - though there are clear areas for future improvement pertaining to the pilot exercise itself and the research we conducted on the exercise. We begin by offering a description of our tinkering exercise. We discuss the exercise’s source of inspiration (2.1) and its implementation (2.2), which is visually captured via photographic documentation. We then discuss (3) how we utilized a triangulated research method to assess the pedagogical value of the exercise. After we discuss our findings, we conclude by identifying areas for future improvement (4). (shrink)

A philosophical analysis of the future of art must explicate art’s nature, as well as discuss the historical nature of art practice. Only so can one explain those contemporary developments in art which have led many people to doubt whether art even has a future. Arguably, art practice as we know it started with the installing of the modern system of the fine arts. I explain the pragmatics of art so understood, and suggest that we can define art, internally. We (...) need not resort to a nominalist approach that claims that something is a work of art if some representative of the art world says it is. Instead of such empty proceduralism, I explain how all art’s focal objects, persons and activities are mutually adjusted and can only be understood in light of the whole. Within that whole of art practice, the contemporary samples of art’s alleged failure can be assessed. Now the modern system treats the arts as aesthetic, and prescribes that to judge a work one has to experience it for oneself. Why this should be so, I explain in terms of the perceivability of the artist in the work. Next, art develops as a whole rather than in a piecemeal manner. Particular contemporary works may alienate the audience from art practice, yet once they are recognisably in a procedure which has clear artistic potency they can be incorporated fruitfully in the modern system as explained. In all, the future of art is the future of the modern system, unless the system as a whole goes. We see this happen with the Taliban, but do not ourselves seem to be vulnerable to such onslaught. Yet, our culture may be in the process of eliminating the human mind from the objective reality, and if nothing stops us, art too will come to an end. Luckily, by then we will not be such as to lament that demise. (shrink)

Inspired by Bas van Fraassen’s Stance Empiricism, Anjan Chakravartty has developed a pluralistic account of what he calls epistemic stances towards scientific ontology. In this paper, I examine whether Chakravartty’s stance pluralism can exclude epistemic stances that licence pseudo-scientific practices like those found in Scientology. I argue that it cannot. Chakravartty’s stance pluralism is therefore prone to a form of debilitating relativism. I consequently argue that we need (1) some ground or constraint in relation to which epistemic stances can be (...) ranked by degrees, and (2) some way to demarcate science from pseudo-science so that we know what epistemic stances are about. Regarding (1), I argue that empirical detectability can serve as the ground in relation to which epistemic stances are ranked by degrees. Regarding (2), I argue for ranking sciences on a continuum according to established institutional criteria, rather than attempting to draw a strict demarcation. (shrink)

Sometimes people posit "beliefs" to explain mundane instrumental actions (e.g., Neil believes the switch is connected to the light, so he flipped the switch to illuminate the room). Sometimes people posit "beliefs" to explain group affiliation or identity (e.g., in order to belong to the Christian Reformed Church Neil must believe that God is triune). If we set aside the commonality of the word "belief," we can pose a crucial question: Is the cognitive attitude typically involved in the first "light (...) switch" sort of case the same as the cognitive attitude typically involved in the second "Trinity" sort of case? Or: Is mundanely believing the same cognitive relation as groupishly believing? In this essay, I argue that the answer is no. Mundane Beliefs play their instrumental roles well if they are true, and their manner of processing is accordingly sensitive to evidence. Groupish Beliefs play their identity-constituting roles well if they are distinctive, and their manners of processing accordingly allow for and often support distortions of evidence and truth. The manners of processing are thus so different that--despite the common word "belief"--philosophy of mind and epistemology would do well to recognize distinct cognitive attitudes. (shrink)

Assertion is widely regarded as an act associated with an epistemic position. To assert is to represent oneself as occupying this position and/or to be required to occupy this position. Within this approach, the most common view is that assertion is strong: the associated position is knowledge or certainty. But recent challenges to this common view present new data that are argued to be better explained by assertion being weak. Old data widely taken to support assertion being strong has also (...) been challenged. This paper examines such challenges and finds them wanting. Far from diminishing the case for strong assertion, carefully considering new and old data reveals that assertion is as strong as ever. (shrink)

Als Plato de hedendaagse academie zou aanschouwen, zou hij niet alleen stomverbaasd zijn over de massificatie en de byzantijnse bureaucratie, maar gezien het ethische doel van de universiteit zou hij ook reden hebben om bezorgd te zijn.

This essay surveys the main objections to aesthetic hedonism, the view that aesthetic value is reducible to the value of aesthetic pleasure or experience. Hedonism is the dominant view of aesthetic value, but a spate of recent criticisms has drawn its accuracy into question. I introduce some distinctions crucial to the criticisms, before using the bulk of the essay to identify and review six major lines of argument that hedonism's critics have employed against it. Whether or not these arguments suffice (...) to refute hedonism decisively, I argue that its privileged status, as the sole contender in aesthetic value theory, is detrimental to downstream research on aesthetic phenomena. The essay concludes with an overview of current work and promising avenues of inquiry into non-hedonic alternatives. (shrink)

Toon van Eijk: Spinoza in het licht van bewustzijnsontwikkeling De beroemde filosoof Spinoza is moeilijk te doorgronden. Emeritus hoogleraar Maarten van Buuren heeft in 2016 twee boeken over Spinoza gepubliceerd, waarin hij diens filosofie op nauwgezette en verhelderende manier analyseert. Volgens Van Buuren is de kern van Spinoza’s ethiek de bevrijding van bevoogding en het streven om in overeenstemming te leven met de wereld en met zichzelf. Een aantal sleutelbegrippen in Spinoza’s filosofie zijn de immanente, in de natuur-inwonende God, zelfbeschikking, (...) de rede, intuïtie, macht en zelftoe-eigening. In dit boek bespreekt Toon van Eijk deze sleutelbegrippen aan de hand van de analyse van Van Buuren en de filosofie van Maharishi Mahesh Yogi, de grondlegger van de Transcendente Meditatie (TM) techniek. Filosofische begrippen blijven echter tandeloos zonder mogelijkheden om deze ideeën te verwerkelijken. Een synthese van filosofisch redeneren en praktijken voor bewustzijnsontwikkeling is nodig. Hoewel Spinoza een ethiek zonder metafysica voorstond, is Van Eijk van mening dat daadwerkelijk wijs handelen moeilijk zonder enige metafysische bagage kan. (shrink)

The paper by Monteiro, Musten and Compson (2014) is to be commended for providing a comprehensive discussion of the compatibility issues arising from the integration of mindfulness – a 2,500-year-old Buddhist practice – into research and applied psychological domains. Consistent with the observations of various others (e.g., Dunne, 2011; Kang & Whittingham, 2010), Monteiro and colleagues have not only highlighted that there are differences in how Buddhism and contemporary mindfulness interventional approaches interpret and contextualize mindfulness, but there are also differing (...) interpretations of mindfulness within Buddhism. These apparent differences within Buddhism are arguably more noticeable when making comparisons across Buddhist vehicles (i.e., Theravada, Mahayana, Vajrayana), but to a lesser extent intra-vehicular differences can also be said to exist (i.e., differences between Buddhist traditions of the same vehicle). This commentary investigates the validity of some of these different Buddhist constructions of mindfulness, and then discusses how a better understanding of their scriptural and conceptual soundness (or lack thereof) may help to reconcile some of the actual and perceived incompatibility between Buddhist practice and contemporary secular mindfulness-based approaches. (shrink)

A speaker's use of a declarative sentence in a context has two effects: it expresses a proposition and represents the speaker as knowing that proposition. This essay is about how to explain the second effect. The standard explanation is act-based. A speaker is represented as knowing because their use of the declarative in a context tokens the act-type of assertion and assertions represent knowledge in what's asserted. I propose a semantic explanation on which declaratives covertly host a "know"-parenthetical. A speaker (...) is thereby represented as knowing the proposition expressed because that is the semantic contribution of the parenthetical. I call this view parentheticalism and defend that it better explains knowledge representation than alternatives. As a consequence of outperforming assertoric explanations, parentheticalism opens the door to eliminating the act-type of assertion from linguistic theorizing. (shrink)

Bernard Williams argued that historical and philosophical inquiry were importantly linked in a number of ways. This introductory chapter distinguishes four different connections he identified between philosophy and history. (1) He believed that philosophy could not ignore its own history in the way that science can. (2) He thought that when engaging with philosophy’s history primarily to produce history, one still had to draw on philosophy. (3) Even doing history of philosophy philosophically, i.e. primarily to produce philosophy, required a keen (...) sense of how historically distant from us past philosophers were, on his view, because the point of reading them was to confront something different from the present. (4) He held that systematic philosophy itself needed to be done historically, engaging not necessarily with its own history, but with that of the concepts it sought to understand. The chapter closes with an overview of the volume’s structure and content. (shrink)